Publications of
Bertrand Boisvert, Louis Féraud, Sergei Soloviev
Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification (regular paper)
In : International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2013), Barcelone, 19/02/13-21/02/13, Slimane Hammoudi, Luis Ferreira Pires, Joaquim Filipe, Rui Cesar das Neves (Eds.), SciTePress, pp. 62-77, February 2013.
URL : http://www.irit.fr/~Sergei.Soloviev/modelsward3-4.pdf – https://oatao.univ-toulouse.fr/12726/
BibTeXBertrand Boisvert, Louis Féraud, Sergei Soloviev
Graph Transformations, Proofs and Grammars (regular paper)
In : Philosophy, Mathematics, Linguistics: Aspects of Interaction, Saint-Petersbourg, Russie, 22/05/12-25/05/12, Oleg Prozorov (Eds.), Euler International Math. Institute, St.-Petersburg Division of Steklov Math. Institute, Russian Academy of Sciences, pp. 195-204, May 2012.
URL : http://www.irit.fr/~Sergei.Soloviev/soloviev_phml.pdf
BibTeXBertrand Boisvert, Louis Féraud, Sergei Soloviev
Single pushout and lambda-terms for computation in attributed graph rewriting (regular paper)
In : International Seminar "Specification and Verification of Hybrid Systems", Kyiv, Ukraine, 10/10/11-12/10/11, Mykola Nikitchenko (Eds.), Taras Shevchenko National University of Kyiv, pp. 20-34, October 2011.
Bertrand Boisvert, Louis Féraud, Sergei Soloviev
Typed lambda-terms in categorical attributed graph rewriting (regular paper)
In : WorKshop on Algebraic Methods in Model-Based Software Engineering @ TOOLS 2011, Zurich, Switzerland, 30/06/11-30/06/11, Vol. 56, Francisco Durand, Vlad Rusu (Eds.), Electronic Proceedings in Theoretical Computer Science (EPTCS), EPTCS, (on line), June 2011.
Sergey Baranov, Bertrand Boisvert, Louis Féraud, Sergei Soloviev
Typed Lambda Terms in Categorical Graph Rewriting (regular paper)
In : The International Conference Polynomial Computer Algebra, Saint-Petersburg, Russia, Euler International Mathematical Institute, 17/04/11-22/04/11, Nikolay Vasyliev (Eds.), Euler International Mathematical Institute, pp. 9-17, April 2011.
Catégories, lambda-calcul typé et preuves pour la transformation de graphes attribués
Master’s Thesis, Université Paul Sabatier, September 2013.